Explaining Correlations by Partitions

Explaining the correlations among properties of mammalian promoters

Proximal promoters are fundamental genomic elements for gene expression. They vary in terms of GC percentage, CpG abundance, presence of TATA signal, evolutionary conservation, chromosomal spread of transcription start sites and breadth of expression across cell types. These properties are correlated, and it has been suggested that there are two classes of promoters: one class with high CpG, wi...

Generalised Canonical Correlations Analysis for Explaining Macrofungal Species Assemblages

Canonical correlations analysis uses a secondary set of multivariate observations to correlate with, and thereby help to explain, differences among a primary set of multivariate observations. In ecology, the variables of the primary data set may be of the “presence/absence” type, or they may be the abundances of individual species in a species list, whereas the secondary set often involves envi...

Explaining Brains by Simulation

k-Efficient partitions of graphs

A set $S = {u_1,u_2, ldots, u_t}$ of vertices of $G$ is an efficientdominating set if every vertex of $G$ is dominated exactly once by thevertices of $S$. Letting $U_i$ denote the set of vertices dominated by $u_i$%, we note that ${U_1, U_2, ldots U_t}$ is a partition of the vertex setof $G$ and that each $U_i$ contains the vertex $u_i$ and all the vertices atdistance~1 from it in $G$. In this ...

Deriving Bisimulations by Simplifying Partitions

In this paper we analyze the problem of transforming partitions in order to satisfy completeness in the standard abstract interpretation framework. In order to obtain this, we exploit the relation existing between completeness and the Paige-Tarjan notion of stability, already detected in the particular context of refining partitions for completeness. Here we extend this relation in order to cop...